The Allegory of E-Relations in Constructive Type Theory
نویسنده
چکیده
This paper presents a rst step in the formalisation of a relational calculus inside a constructive type theoretic framework. The calculus is the one based on allegories, and its formalisation is carried on with the help of a software tool assistant for Martin-LL of's monomorphic type theory. The goal of this eeort is allowing us to import relational calculus inside type theory, and take advantage of the wealth of results and methods for program construction and veriication that are well established in relational formalisms.
منابع مشابه
The Status of Allegory and Symbolic Language in Quranic Stories: A Review and Critique of the Theory of Fantasization
One of the common views in contemporary Quranic research is the dialog on the existence of allegory and symbolic language in the Quran and Quranic stories. Citing such arguments as the common literary style between the Quranic stories and human stories, the use of symbols with specific modes of expression in the Quran and the cases in which the Divine intent is expressed through questions and a...
متن کاملThe Role of Constructive Elements of Iran's Identity in Relations between Iran and Russia
Along the history, relations between Iran and Russia always faced with great changes and transitions and always, the foundation of these relations have been on the base of political, security and military and sometimes economical affairs. Iran and its people have special identity elements like: Persian language, Shiite Islamism, nationalism, regional hegemonies, anti-foreignism and etc, that so...
متن کاملDivine Hikmah in Repeating the Allegory of Earthly World in the Quran
Allegory is a method used in the Quran to lead human to the right way. Therefore, wherever Divine hikmah has demanded, with mentioning an allegory the path for understanding the problem has been facilitated and the proof has been completed to the addressees. The holy Quran has used the allegory of rain water for the mundane world and has repeated it in the verses like 24 of Yunus, 45 of Kahf an...
متن کاملHappiness in Plato’s Theory of Philosopher- King
Plato in Theory of Philosopher-King believes that all of the members of ideal city-state, whether ruler or citizens, will attain happiness if the philosopher is the ruler. But there are paradoxes in the theory and the bases of the happiness are unstable too. In other words, Plato in his theory presents hierarchical dualities (Intelligible/Visible world, Episteme/ Doxa,True/ Untrue Or Shadow, …)...
متن کاملصورتبندی گفتمانیِ ابن جوزی برابر صوفیان در تلبیس ابلیس
Human perceptions of phenomena in the word and influenced the discourse. Approach to critical discourse analysis in creating effective access relations provides good models for the study of language¸ ideologies and power relations between decoding and explained constructive dialogue between the text and the perspective of social, political, and how they deal with competing discourses reveals, i...
متن کامل